Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Algebra and Coalgebra in Computer Science [[electronic resource] ] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings / / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea
| Algebra and Coalgebra in Computer Science [[electronic resource] ] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings / / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XI, 420 pages) : 118 illustrations., 6 illustrations in color |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Models of Computation Theory of Computation |
| ISBN | 3-642-22944-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the statistical thermodynamics of reversible communicating processes / Giorgio Bacci, Vincent Danos, Ohad Kammar -- Solving fixed-point equations by derivation tree analysis / Javier Esparza, Michael Luttenberger. |
| Record Nr. | UNISA-996466054703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation [[electronic resource] ] : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
| Graph Transformation [[electronic resource] ] : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 466 p.) |
| Disciplina | 511/.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Optical data processing
Discrete mathematics Database management Computer science—Mathematics Data structures (Computer science) Software engineering Image Processing and Computer Vision Discrete Mathematics Database Management Discrete Mathematics in Computer Science Data Structures Software Engineering |
| ISBN | 3-540-45832-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) -- Biographs as a Model for Mobile Interaction -- Contributed Papers -- Approximating the Behaviour of Graph Transformation Systems -- Transforming Specification Architectures by GenGED -- Decomposing Graphs with Symmetries -- Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems -- Call-by-Value ?-Graph Rewriting Without Rewriting -- Transformation: The Missing Link of MDA -- Termination Detection of Distributed Algorithms by Graph Relabelling Systems -- Graph Transformation with Time: Causality and Logical Clocks -- Relabelling in Graph Transformation -- Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes -- Confluence of Typed Attributed Graph Transformation Systems -- Abstraction and Control for Shapely Nested Graph Transformation -- Hyperedge Substitution in Basic Atom-Replacement Languages -- Distributed Graph Transformation Units -- Describing Policies with Graph Constraints and Rules -- Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts -- Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment -- Graph-Based Reengineering of Telecommunication Systems -- Formalising Behaviour Preserving Program Transformations -- Unparsing of Diagrams with DiaGen -- Linear Ordered Graph Grammars and Their Algebraic Foundations -- Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems -- Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery -- GraCAD – Graph-Based Tool for Conceptual Design -- A Formal Semantics of UML State charts by Model Transition Systems -- Hierarchical Vertex Ordering -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates -- TERMGRAPH 2002 Workshop Survey -- Workshop on Graph-Based Tools -- Workshop on Graph Transformation and Visual Modeling Techniques -- Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle -- Workshop on Logic, Graph Transformations and Discrete Structures. |
| Record Nr. | UNISA-996465395003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation [[electronic resource] ] : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
| Graph Transformation [[electronic resource] ] : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 466 p.) |
| Disciplina | 511/.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Optical data processing
Discrete mathematics Database management Computer science—Mathematics Data structures (Computer science) Software engineering Image Processing and Computer Vision Discrete Mathematics Database Management Discrete Mathematics in Computer Science Data Structures Software Engineering |
| ISBN | 3-540-45832-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) -- Biographs as a Model for Mobile Interaction -- Contributed Papers -- Approximating the Behaviour of Graph Transformation Systems -- Transforming Specification Architectures by GenGED -- Decomposing Graphs with Symmetries -- Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems -- Call-by-Value ?-Graph Rewriting Without Rewriting -- Transformation: The Missing Link of MDA -- Termination Detection of Distributed Algorithms by Graph Relabelling Systems -- Graph Transformation with Time: Causality and Logical Clocks -- Relabelling in Graph Transformation -- Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes -- Confluence of Typed Attributed Graph Transformation Systems -- Abstraction and Control for Shapely Nested Graph Transformation -- Hyperedge Substitution in Basic Atom-Replacement Languages -- Distributed Graph Transformation Units -- Describing Policies with Graph Constraints and Rules -- Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts -- Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment -- Graph-Based Reengineering of Telecommunication Systems -- Formalising Behaviour Preserving Program Transformations -- Unparsing of Diagrams with DiaGen -- Linear Ordered Graph Grammars and Their Algebraic Foundations -- Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems -- Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery -- GraCAD – Graph-Based Tool for Conceptual Design -- A Formal Semantics of UML State charts by Model Transition Systems -- Hierarchical Vertex Ordering -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates -- TERMGRAPH 2002 Workshop Survey -- Workshop on Graph-Based Tools -- Workshop on Graph Transformation and Visual Modeling Techniques -- Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle -- Workshop on Logic, Graph Transformations and Discrete Structures. |
| Record Nr. | UNINA-9910143896703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Transformations [[electronic resource] ] : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
| Graph Transformations [[electronic resource] ] : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 473 p.) |
| Disciplina | 005.73 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence—Data processing
Software engineering Computer science Algorithms Computer science—Mathematics Discrete mathematics Data Science Software Engineering Theory of Computation Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science |
| ISBN | 3-540-38872-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Nested Quantification in Graph Transformation Rules -- Idioms of Logical Modelling -- New Algorithms and Applications of Cyclic Reference Counting -- New Graph Transformation Models -- Sesqui-Pushout Rewriting -- Automata on Directed Graphs: Edge Versus Vertex Marking -- Conflict Detection for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure Manipulation -- Narrowing Data-Structures with Pointers -- Molecular Analysis of Metabolic Pathway with Graph Transformation -- Matrix Approach to Graph Transformation: Matching and Sequences -- String Generating Hypergraph Grammars with Word Order Restrictions -- Borrowed Contexts and Adhesive Categories -- Composition and Decomposition of DPO Transformations with Borrowed Context -- Process Bisimulation Via a Graphical Encoding -- Toposes Are Adhesive -- Extensions for Distributed and Global Computing -- Graph Transactions as Processes -- Categorical Foundations of Distributed Graph Transformation -- Dynamic Graph Transformation Systems -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools -- Termination Analysis of Model Transformations by Petri Nets -- Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars -- Temporal Graph Queries to Support Software Evolution -- On the Use of Alloy to Analyze Graph Transformation Systems -- Model-Driven Development -- Non-materialized Model View Specification with Triple Graph Grammars -- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract -- Model View Management with Triple Graph Transformation Systems -- Efficient Implementation -- Graph Transformation in Constant Time -- GrGen: A Fast SPO-Based Graph Rewriting Tool -- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences -- Heuristic Search for the Analysis of Graph Transition Systems -- Logics -- Satisfiability of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops -- Introductory Tutorial on Foundations and Applications of Graph Transformation -- Workshop on Graph Computation Models -- Workshop on Graph-Based Tools -- Workshop on Petri Nets and Graph Transformations -- 3rd International Workshop on Software Evolution Through Transformations: Embracing Change. |
| Record Nr. | UNISA-996466148203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformations [[electronic resource] ] : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
| Graph Transformations [[electronic resource] ] : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 473 p.) |
| Disciplina | 005.73 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence—Data processing
Software engineering Computer science Algorithms Computer science—Mathematics Discrete mathematics Data Science Software Engineering Theory of Computation Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science |
| ISBN | 3-540-38872-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Nested Quantification in Graph Transformation Rules -- Idioms of Logical Modelling -- New Algorithms and Applications of Cyclic Reference Counting -- New Graph Transformation Models -- Sesqui-Pushout Rewriting -- Automata on Directed Graphs: Edge Versus Vertex Marking -- Conflict Detection for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure Manipulation -- Narrowing Data-Structures with Pointers -- Molecular Analysis of Metabolic Pathway with Graph Transformation -- Matrix Approach to Graph Transformation: Matching and Sequences -- String Generating Hypergraph Grammars with Word Order Restrictions -- Borrowed Contexts and Adhesive Categories -- Composition and Decomposition of DPO Transformations with Borrowed Context -- Process Bisimulation Via a Graphical Encoding -- Toposes Are Adhesive -- Extensions for Distributed and Global Computing -- Graph Transactions as Processes -- Categorical Foundations of Distributed Graph Transformation -- Dynamic Graph Transformation Systems -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools -- Termination Analysis of Model Transformations by Petri Nets -- Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars -- Temporal Graph Queries to Support Software Evolution -- On the Use of Alloy to Analyze Graph Transformation Systems -- Model-Driven Development -- Non-materialized Model View Specification with Triple Graph Grammars -- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract -- Model View Management with Triple Graph Transformation Systems -- Efficient Implementation -- Graph Transformation in Constant Time -- GrGen: A Fast SPO-Based Graph Rewriting Tool -- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences -- Heuristic Search for the Analysis of Graph Transition Systems -- Logics -- Satisfiability of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops -- Introductory Tutorial on Foundations and Applications of Graph Transformation -- Workshop on Graph Computation Models -- Workshop on Graph-Based Tools -- Workshop on Petri Nets and Graph Transformations -- 3rd International Workshop on Software Evolution Through Transformations: Embracing Change. |
| Record Nr. | UNINA-9910484650103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / / edited by Andrea Corradini, Ugo Montanari
| Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / / edited by Andrea Corradini, Ugo Montanari |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VIII, 343 p.) |
| Disciplina | 004n/a |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Mathematical logic Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematics of Computing Theory of Computation Mathematical Logic and Foundations |
| ISBN | 3-642-03429-2 |
| Classificazione |
DAT 510f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Concurrent Abstract State Machines and ?+? CAL Programs -- Molecules as Automata -- Service-Level Agreements for Service-Oriented Computing -- Contributed Papers -- Tiles for Reo -- C-semiring Frameworks for Minimum Spanning Tree Problems -- What Is a Multi-modeling Language? -- Generalized Theoroidal Institution Comorphisms -- Graph Transformation with Dependencies for the Specification of Interactive Systems -- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi -- A Rewriting Logic Approach to Type Inference -- A Term-Graph Syntax for Algebras over Multisets -- Transformations of Conditional Rewrite Systems Revisited -- Towards a Module System for K -- Property Preserving Refinement for Csp-Casl -- Reconfiguring Distributed Reo Connectors -- A Rewrite Approach for Pattern Containment -- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum -- Heterogeneous Logical Environments for Distributed Specifications -- Term-Generic Logic -- Declarative Debugging of Rewriting Logic Specifications -- Translating a Dependently-Typed Logic to First-Order Logic. |
| Record Nr. | UNISA-996465310803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / / edited by Andrea Corradini, Ugo Montanari
| Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / / edited by Andrea Corradini, Ugo Montanari |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VIII, 343 p.) |
| Disciplina | 004n/a |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Mathematical logic Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematics of Computing Theory of Computation Mathematical Logic and Foundations |
| ISBN | 3-642-03429-2 |
| Classificazione |
DAT 510f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Concurrent Abstract State Machines and ?+? CAL Programs -- Molecules as Automata -- Service-Level Agreements for Service-Oriented Computing -- Contributed Papers -- Tiles for Reo -- C-semiring Frameworks for Minimum Spanning Tree Problems -- What Is a Multi-modeling Language? -- Generalized Theoroidal Institution Comorphisms -- Graph Transformation with Dependencies for the Specification of Interactive Systems -- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi -- A Rewriting Logic Approach to Type Inference -- A Term-Graph Syntax for Algebras over Multisets -- Transformations of Conditional Rewrite Systems Revisited -- Towards a Module System for K -- Property Preserving Refinement for Csp-Casl -- Reconfiguring Distributed Reo Connectors -- A Rewrite Approach for Pattern Containment -- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum -- Heterogeneous Logical Environments for Distributed Specifications -- Term-Generic Logic -- Declarative Debugging of Rewriting Logic Specifications -- Translating a Dependently-Typed Logic to First-Order Logic. |
| Record Nr. | UNINA-9910483244603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||